Languages and monoids with disjunctive identity.dvi
نویسندگان
چکیده
We show that the syntactic monoids of insertion-closed, deletionclosed and dipolar-closed languages are the groups. If the languages are insertionclosed and congruence simple, then their syntactic monoids are the monoids with disjunctive identity. We conclude with some properties of dipolarclosed languages.
منابع مشابه
Formations of Monoids, Congruences, and Formal Languages
The main goal in this paper is to use a dual equivalence in automata theory started in [RBBCL13] and developed in [BBCLR14] to prove a general version of the Eilenberg-type theorem presented in [BBPSE12]. Our principal results confirm the existence of a bijective correspondence between formations of (non-necessarily finite) monoids, that is, classes of monoids closed under taking epimorphic ima...
متن کاملThe Disjunctivities of w-languages
An ω-language over a finite alphabet X is a set of infinite sequences of letters of X. Consider congruences IL and Pω, L on X* and a congruence OL on X introduced by an ω-language L. IL, Pω, L, and OL are called the infinitary syntactic-congruence, the principal congruence and the ω-syntactic congruence of L, respectively. If IL (Pω, L, OL) is the equality then L is called an I-disjunctive (P-d...
متن کاملOn Some Decompositions of r-Disjunctive Languages
Some kinds of decompositions of r-disjunctive languages on an arbitrary alphabet will be investigated. We will show that an f-disjunctive (t-disjunctive) language can be divided into two parts and either one part of them is an f-disjunctive (t-disjunctive) language or both parts are r-disjunctive but not f-disjunctive (t-disjunctive) languages. Finally, a relevant result of H. J. Shyr and S. S....
متن کاملOn the Varieties of Languages Associated with Some Varieties of Finite Monoids with Commuting Idempotents
Eilenberg has shown that there is a one-to-one correspondence between varieties of finite monoids and varieties of recognizable languages. In this paper, we give a description of a variety of languages close to the class of piecewise testable languages considered by I. Simon. The corresponding variety of monoids is the variety of J -trivial monoids with commuting idempotents. This result is the...
متن کاملOn Recognizable Languages in Left Divisibility Monoids
We describe a class of monoids where c-rational languages can be deened analogously to trace theory and where these languages are precisely the recognizable ones. The proofs rely on Ramsey's theorem, distributive lattice theory and on Hashigushi's rank function generalized to our left divisibility monoids. We obtain Ochma nski's theorem on recognizable languages in free partially commutative mo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010